find the 3rd highest from an array using stream API